منطق وجهی دینامیک
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
- author رحمان خاندانی
- adviser سیدمحمد باقری
- publication year 1392
abstract
در این پایان نامه به یک منطق وجهی و دوگان آنها که شامل 4 وجه دینامیکی لزوم در همه ی وضعیت ها و لزوم بعضی وضعیت ها و دوگان آنها ممکن در همه وضعیت ها و ممکن در بعضی وضعیت ها پرداخته می شود. ما یک اصل بندی کامل با رعایت اصول و قواعد معناشناسی ارائه می دهیم و قضیه ی تمامیت و همچنین تصمیم پذیری به وسیله ی خاصیت مدل متناهی را برای این منطق اثبات می نماییم.
similar resources
منطق وجهی برای توپولوژی
منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...
15 صفحه اولمعناشناسی اندازه بنیاد برای منطق وجهی
در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...
منطق وجهی کلاسیک مرتبه اول
در این پایان نامه سیستم های کلاسیک مرتبه اول با استفاده از مدل های همسایگی مرتبه اول بررسی خواهند شد. در این مدل ها قالب های اصل موضوعی بارکان و عکس آن بر خلاف مدل های کریپکی همیشه معتبر نیستند. در فصل یک ابتدا منطق وجهی گزاره ای و معناشناسی همسایگی را به عنوان مطالب مقدماتی بررسی کرده و تعدادی از قضایای پایه ای در این زمینه را بیان می کنیم. در فصل دو معناشناسی کریپکی برای منطق وجهی مرتبه او...
15 صفحه اولشکگرایی وجهی ون اینواگن و گسترۀ معرفت وجهی
یک ایدۀ بسیار معروف در معرفت‌شناسی امکان این است که تخیلپذیری یک گزاره، راهنمای خوبی برای امکان آن است. یبلو (1993) مدلی برای توجیه باورهای وجهی ارائه کرده است که بنابر آن تخیلپذیری یک گزاره، شاهدی بر امکان آن است. ون اینواگن (1998) بر این باور است که هر کسی که مدل یبلو را بپذیرد باید موضع او، شک گراییِ وجهی را بپذیرد. ون اینواگن برای اینکه برای موضع خود استدلال کند، وضعیت وجهی گزارة «آهن شفاف...
full textتصور، امکان مفهومی و معرفت وجهی؛ نقدی به مدل ایچیکاوا و جارویس برای کسب معرفت وجهی
در این مقاله مدل پیشنهادی ایچیکاوا و جارویس (2011) برای تبیین کسب معرفت وجهی (یا امکان کسب چنین معرفتی) با استفاده از تصور را بررسی کردهام. ایچیکاوا و جارویس پس از تعریفِ مفهوم «تصور منسجم» ادعا میکنند که با تصور منسجم، گرچه به امکان متافیزیکی نمیرسیم اما به نوع دیگری از امکان، یعنی امکان مفهومی دست مییابیم. ایشان در توضیح اینکه چه گزارهای ممکن مفهومی است از انگاره «استلزام مفهومی» استفاده...
full textکنترل دینامیک عرضی خودرو با استفاده از منطق فازی
از دهه های گذشته به دلیل اشتباهات انسانی در رانندگی و افزایش سرعت وسائل نقلیه، لزوم به کارگیری سیستم های ایمنی در خودروهای سواری مطرح گردیده است. سیستم های ایمنی موجود در خودرو را می توان به دو نوع سیستم های ایمنی غیرفعال و سیستم های ایمنی فعال تقسیم کرد. سیستم های کنترل فعال دینامیک خودرو به منظور بهبود ایمنی ، عملکرد و آسایش سرنشین طراحی می شوند. از جمله سیستم های ایمنی فعال می توان به سیستم ...
15 صفحه اولMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023